
Diese natürlichen Transformationen sollen kohärent sein. Alle nötigen Kohärenzbedingungen folgen aus der Kommutativität der folgenden beiden Diagramme: und Aus diesen beiden Bedingungen folgt, dass jedes solche Diagramm kommutiert: Das ist Mac Lanes "Kohärenzsatz". == Beispiele == Jede Kategorie, die endliche Produkte und ein Endobjekt ent.....
Gefunden auf
https://de.wikipedia.org/wiki/Monoidale_Kategorie
Keine exakte Übereinkunft gefunden.